File information: | |
File name: | Euclid_Report_Apr76.pdf [preview Euclid Report Apr76] |
Size: | 4483 kB |
Extension: | |
Mfg: | xerox |
Model: | Euclid Report Apr76 🔎 |
Original: | Euclid Report Apr76 🔎 |
Descr: | xerox parc memos Euclid_Report_Apr76.pdf |
Group: | Electronics > Other |
Uploaded: | 07-02-2020 |
User: | Anonymous |
Multipart: | No multipart |
Information about the files in archive: | ||
Decompress result: | OK | |
Extracted files: | 1 | |
File name Euclid_Report_Apr76.pdf DRAFT Euclid Report by B. W. Lampson 1, J. J. Horning 2 , R. L. London 3 , J. G. Mitchell" and G. J. Popek 4 April 20. 1976 This document describes the Euclid language. intended for the expression of system programs which are to be verified. Comments are earnestly solicited. and may be addressed to any of the authors. To facilitate comparison with the Pascal report, maleri31 in this report which is new is printed in large type. that which is copied f fom the P3scal report is in normal type, and material in the Pascal report which is omitted |
Date | User | Rating | Comment |